$\forall$$a$, $b$:$\mathbb{Q}$. $a$ $<$ $b$ $\Rightarrow$ $a$ $<$ ($a$ + $b$/2) $<$ $b$